BL31: Add SDEI dispatcher
authorJeenu Viswambharan <jeenu.viswambharan@arm.com>
Mon, 16 Oct 2017 07:43:14 +0000 (08:43 +0100)
committerJeenu Viswambharan <jeenu.viswambharan@arm.com>
Mon, 13 Nov 2017 08:38:51 +0000 (08:38 +0000)
commitb7cb133e5c56f149024a56873216f0c198aa9635
tree433b74c05447effe493478659701ac64776310e1
parent3d732e23e71343f2ba18d456c8f2163015209768
BL31: Add SDEI dispatcher

The implementation currently supports only interrupt-based SDEI events,
and supports all interfaces as defined by SDEI specification version
1.0 [1].

Introduce the build option SDEI_SUPPORT to include SDEI dispatcher in
BL31.

Update user guide and porting guide. SDEI documentation to follow.

[1] http://infocenter.arm.com/help/topic/com.arm.doc.den0054a/ARM_DEN0054A_Software_Delegated_Exception_Interface.pdf

Change-Id: I758b733084e4ea3b27ac77d0259705565842241a
Co-authored-by: Yousuf A <yousuf.sait@arm.com>
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>
13 files changed:
bl31/bl31.mk
docs/porting-guide.rst
docs/user-guide.rst
include/plat/common/platform.h
include/services/sdei.h [new file with mode: 0644]
make_helpers/defaults.mk
plat/common/aarch64/plat_common.c
services/std_svc/sdei/sdei_event.c [new file with mode: 0644]
services/std_svc/sdei/sdei_intr_mgmt.c [new file with mode: 0644]
services/std_svc/sdei/sdei_main.c [new file with mode: 0644]
services/std_svc/sdei/sdei_private.h [new file with mode: 0644]
services/std_svc/sdei/sdei_state.c [new file with mode: 0644]
services/std_svc/std_svc_setup.c